-
1 logique formelle
Dictionnaire polytechnique Français-Russe > logique formelle
-
2 logique formelle
сущ.общ. формальная логика -
3 logique
f1) логика2) логика, логическая структура; логические схемы ( вычислительной машины)•- logique bivalente
- logique câblée
- logique des circuits
- logique combinatoire
- logique de découpage
- logique floue
- logique formelle
- logique de majorité
- logique mathématique
- logique plurivalente
- logique propositionnelle
- logique de reconnaissance
- logique à relais
- logique seui
- logique à seui
- logique symbolique
- logique ternaire
- logique tous états -
4 formel
-LE adj.1. (catégorique) категори́ческий; категори́чный; определённый (certain); неопровержи́мый (irréfutable); неоспори́мый (incontestable); реши́тельный (décisif); безапелляцио́нный (sans appel); твёрдый* ( assuré);un démenti formel — реши́тельное <по́лное> опроверже́ние; une preuve formelle — неопровержи́мое <неоспори́мое> доказа́тельство;une réponse formelle — прямо́й <твёрдый, определённый> отве́т;
;il — а été formel sur ce point — в э́том вопро́се он был категори́чен < твёрд>
2. (extérieur) форма́льный, вне́шний;la beauté formelle d'un poème — вне́шняя красота́ поэ́мыune politesse purement formelle — чи́сто вне́шняя <форма́льная> ве́жливость;
3. (de la forme) форма́льный;une classification (la logique) formelle — форма́льная классифика́ция (ло́гика)
-
5 логика
ж. -
6 formel
-
7 формальный
1) formelформальная логика — logique formelle2) (об отношении и т.п.) formaliste; bureaucratiqueформальный подход — approche f formalisteформальный метод — méthode f bureaucratique -
8 théorie
f- théorie d'asservissement
- théorie atomique
- théorie de bande
- théorie de bandes
- théorie du champ
- théorie des chances
- théorie des chocs
- théorie cinétique des gaz
- théorie classique
- théorie des combinaisons
- théorie des communications
- théorie constructive
- théorie des coques
- théorie corpusculaire de la lumière
- théorie de la couche limite
- théorie des démonstrations
- théorie de la diffraction
- théorie de la dimension
- théorie d'ébullition germinée
- théorie d'échantillonnage
- théorie de l'élasticité
- théorie d'émission
- théorie des ensembles
- théorie des enveloppes
- théorie ergodique
- théorie des erreurs
- théorie des faisceaux
- théorie de la fiabilité
- théorie des files d'attente
- théorie des fonctions
- théorie formelle
- théorie des graphes
- théorie des groupes
- théorie de l'information
- théorie des jeux
- théorie logique
- théorie des machines
- théorie de membrane
- théorie de la mesure
- théorie des métaux
- théorie multiplex
- théorie des nombres
- théorie non contradictoire
- théorie ondulatoire de la lumière
- théorie des oscillations
- théorie des phénomènes d'attente
- théorie de la plasticité
- théorie des probabilités
- théorie qualitative
- théorie des quanta
- théorie quantique du champ
- théorie quantitative
- théorie de la relativité
- théorie de la relativité restreinte
- théorie de la résistance
- théorie de la rupture
- théorie semi-quantique
- théorie de la similitude
- théorie du solide
- théorie des solutions
- théorie des structures
- théorie des treillis
- théorie de verrouillage de mode
- théorie des zones
См. также в других словарях:
Logique formelle — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
Logique formelle — ● Logique formelle étude générale des raisonnements déductifs, abstraction faite de leur application à des cas particuliers … Encyclopédie Universelle
logique formelle — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f … Automatikos terminų žodynas
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
Logique générale — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… … Encyclopédie Universelle
Logique Chinoise — La logique chinoise est longtemps restée isolée des développements de la logique en Europe et dans le monde islamique. La fondation de l école du moïsme est attribuée à Mozi. Ses canons ont trait à la dérivation d inférences valides et aux… … Wikipédia en Français
Logique symbolique — ● Logique symbolique synonyme de logique formelle … Encyclopédie Universelle
logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure … Encyclopédie Universelle
Logique — Pour les articles homonymes, voir Logique (homonymie). Gregor Reisch« La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 … Wikipédia en Français